Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·1d
🎯Gradual Typing
JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·6h·
Discuss: Hacker News
🌊Stream Processing
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·17h
🌳Context free grammars
Parsing Protobuf Like Never Before
mcyoung.xyz·14h
🔧Binary Parsers
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Future-Proof Programming Languages
log.schemescape.com·2d·
Discuss: Hacker News
💻programming languages
Zig Interface Revisited
williamw520.github.io·4h·
Discuss: Hacker News
🧩WASM Components
A quick introduction to "gemtext" markup
geminiprotocol.net·8h
📟Terminal Typography
Go interfaces and json.Unmarshal
fbrs.io·1h
🔧Binary Parsers
What can we expect of LLMs as Software Engineers?
chelseatroy.com·2d
📝Text Parsing
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·8h·
Discuss: DEV
📝Concrete Syntax
Janet Feature Demos
github.com·14h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
What people said about an OpenZFS bug
despairlabs.com·5h·
Discuss: Lobsters, Hacker News
🔒Type Safety
Introduction to JavaScript
thenewstack.io·2d
📝Concrete Syntax
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·2d·
Discuss: r/programming
✅Format Verification
How I Built an App in 7 Hours with Gemini, Gemini CLI and Gemini Code Assist
medium.com·3h·
Discuss: Hacker News
🦋Format Metamorphosis
The great misunderstanding of the DRY principle
pmatteo.com·2d·
Discuss: Hacker News
💧Liquid Types
Divine Documentation
aneeshsathe.com·6h·
Discuss: Hacker News
🔗Concatenative Languages
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·1h·
Discuss: Hacker News
✨Algebraic Effects